/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */
package assisisw.smartcal.timeconsistencysubsystem;

import assisisw.smartcal.entitysubsystem.Event;
import assisisw.smartcal.entitysubsystem.User;
import java.io.Serializable;
import java.util.Collection;
import javax.ejb.Local;

/**
 *
 * @author Francesco
 */
@Local
public interface ITimelineVerifier extends Serializable
{

    // Instance Methods
    
    /**
     * @param user
     * @param event
     * @return
     */
    public abstract Collection < Event > verify ( User user , Event event ) ;
    
}
